浅谈梅山运翔码头靠泊能力的升级论证

梅山汽车运输分公司运翔码头原设计为1500吨级码头，为适应市场发展需要，要停靠5000吨级船舶。从现运翔码头前沿航行水深、码头设施、防护设施等实际出发对安全停靠5000吨级船舶进行可行性论证。     

公共娱乐场所消防安全现状及对策

从消防安全管理的角度,论述了公共娱乐场所消防安全存在的主要问题和如何进一步加强公共娱乐场所的消防安全工作     

一种彩色C型显示及数据处理终端

本文介绍了一种利用数字信号处理器ＴＭＳ３２０Ｃ２５用作雷达数据实时处理，利用图形处理器ＴＭＳ３４０１０用作雷达视频图象处理，完成雷达视频图象彩色显示的雷达终端。     

a—Si：H TFT电流—电压特性研究

本文发展了一种研究ａ－Ｓｉ：Ｈ ＴＦＴ电流－电压特性的新方法。基于局域态电荷密度解析统一模型，提出并深入分析了沟道区有效温度参数的概念，并由此推导出了ａ－Ｓｉ：Ｈ ＴＦＴ电流－电压特性的解析表达式。其理论值与实验值符合很好。该模型可用于ａ－Ｓｉ：Ｈ ＴＦＴ静态特性分析及其电路优化。     

南方沙地开发利用途径的探讨

根据南方风沙化地自然及气候的特点，提出并讨论了在风沙化土地区营造防风固沙林；建立沙地果业基地；发展沙区畜牧水产业；搞好沙地蔬菜生产；完善农防林体系建设，发展沙区工业等开发利用模式。     

高喷煤比操作对焦炭劣化的影响

为考查提高喷煤量对焦炭在炉内劣化的影响,在宝钢高炉上进行了风口取样研究.结果表明,喷煤量达到200 kg/t以上时焦炭劣化严重.高炉生产实绩回归显示,焦炭的热性能对高炉透气性的影响比冷强度显著.分析认为焦炭热性能指标CRI、CSR对高炉高煤比操作更重要.借此还提出了提高喷煤量和改善焦炭质量需加强研究的课题.     

Kerr介质中"耦合双原子-单模光场"模型的反聚束效应

利用全量子理论,研究了在Kerr介质中,耦合二能级双原子与单模光场相互作用过程的反聚束效应,着重讨论了Kerr介质对场的二阶相干度的影响,并揭示了初始场强及原子间耦合系数的变化与场的二阶相干度的关系。     

电双稳薄膜阻抗转变机理研究

采用真空蒸发的方法交替沉积Ag和TCNQ分子制备了Ag TCNQ金属 有机络合物薄膜 ,并研究了多种外加电压激发下膜的电阻转变特性。发现在转变过程中存在着一种能量效应 ,即当外电压超过某一阈值后 ,完成转变的能量不变。对此现象的可能解释是薄膜内分子在一定的外部电场能量诱导下发生重排 ,致使电导率发生跃变     

Divide and Congruence Applied to η-Bisimulation

We present congruence formats for η- and rooted η-bisimulation equivalence. These formats are derived using a method for decomposing modal formulas in process algebra. To decide whether a process algebra term satisfies a modal formula, one can check whether its subterms satisfy formulas that are obtained by decomposing the original formula. The decomposition uses the structural operational semantics that underlies the process algebra.